1

A survey of constraint-based programming paradigms

Année:
2008
Langue:
english
Fichier:
PDF, 967 KB
english, 2008
2

A Game-Theoretic Analysis of Grid Job Scheduling

Année:
2012
Langue:
english
Fichier:
PDF, 295 KB
english, 2012
4

A method for symbolic analysis of security protocols

Année:
2005
Langue:
english
Fichier:
PDF, 421 KB
english, 2005
6

A compositional coalgebraic model of fusion calculus

Année:
2007
Langue:
english
Fichier:
PDF, 325 KB
english, 2007
7

QoS negotiation in service composition

Année:
2011
Langue:
english
Fichier:
PDF, 230 KB
english, 2011